Thank you sir. - glad to be of service. BTW, found an even cheaper solution on eBay. A Datsun 720 or 620 sensor would have also done the trick at £28 posted!! I would bet my left testicle* that the ohms will be the same on all these sensors as the main unit is identical, just the float and bends are different.
https://www.ebay.co.uk/itm/164126554844
(* not ever planning to have kids again, this is an easy bet! In fact, don’t do it gang!!! Dodge that bullet and live longer, happier, wealthier lives! But that sounds very similar to my S30 ownership too!! [emoji848] Maybe I should just go back to bed and stop prattling on.)