Nice work.
Replacing the sensor's cork gasket is a good thing. Had a 911 where someone did not reinstall the gasket and it took a while to figure out the source of the gas smell.
And FWIW regarding the glass that contains 50% of its volume:
Optimist: 1/2 full
Pessimist: 1/2 empty
Engineer: Glass is twice as big as it needs to be.
