customs + VAT will probably end up being around 25% of the total price (inc. shipping), but best check hmrc website to be sure.
i've liked the newer MIJ tokais I've tried. that being said, i've got an 84 goldstar and it's badass too, possibly a bit more mojo (though it needs a refret), but then buying s/h you have to be on the lookout for fakes, lower models passed off as higher ones, and stuff not being in amazing nick etc. Up to you, really.
I haven't tried any aria pros- the tokai forum and japanaxe, would probably be the places to go to ask about the going rate, how good they are, whether it's a fake, etc.