I know that here in Holland the "belastingdienst" (IRS) is doiing the same thing... KLM people were the first to be taxed on their ID travel. and yes.. the tax the full price...
If you want the details you might want to contact the VNV (pilots association) in holland
www.vnv.nl
good luck
