Just back from the garage, the guy couldn't bring it in and raise it up, as they were welding in there, so it was only a brief look. He asked when I last filled it up; I brimmed it yesterday afternoon.
He said that the actual pipe had started to corrode, so that if it's brimmed, any petrol left...