I knew someone would ask that. I don't remember off-hand, but I'll have a look through my records and get back to you.
I've checked and for some reason it's been misplaced. I suspect it's in normal tax stuff rather than with all my car records. From memory it cost money but not a lot.