Hi miffa, yes thats my bike mate, I got the tank cover many moons ago from ebay but I havent seen another like it since...However I did see a black one go in the last week or so, you should have been onto that?
I dont know about the interchangeability of pumps from other bikes, you'll get one eventually without a doubt, even if it comes from the states (DT175E, DT175F) I know from what I've seen posted in the past that there are pit-falls fitting pumps from other bikes, namely that the teeth pitch on the gearwheel in the pump may not match the worm that is driving in ...resulting in stripped gear...bear this in mind.
Parts manuals come up on ebay readily enough, as do workshop manuals. Meantime if you need any help or part numbers just ask