Ok, calmed down and listened to reason. As soon as the sages of this forum insisted it needed to be found, I went back to the garage, rocker cover off immediately. Didn't even have to remove the pushrods to see said washer glistening up at me. As I removed the pushrods the washer stood up on its end. Tried a strong magnet but gave up as, without the magnet being very secure, it would stick to the side of the barrel and I'd then have a additional problem of extracting a very stubborn magnet. Some time ago I invested a few quid on a hook and scraper set with all sorts of interesting ends. Went for the curved hook, tagged the washer straight away, and out it came.
After that, I felt a bit more enthusiastic. Cleaned all the gasket cack from the surfaces and gentle clean with mini copper wire brush, all spotless now. My fear is now trying to get the pushrods back in and aligned. The manual says the longest go in the middle and are for the exhaust rockers, presumably the shorter ones go on the outside for inlet. ANY tips on how to do this would be appreciated. I think I have a 'comb' somewhere, but understand this can be a bit of a &^%$(*& if you've got a bit of liquid gasket with the paper one (messy and awkward).
Thanks for the encouragement folks, bike almost went through the window after this tiny mishap caused so much hassle. Even dropping the clutch adjustment lever nut in the gearbox wasn't as bad as this (I did retrieve that, by the way). Nice feeling to have got the washer out so easily, and I've learnt something of the internals of the engine, i.e., that the washer was captive in the pushrod tunnel.
All advice gratefully received!!