Moved into a 70s fixer upper and tonight have noticed a pipe that enters the glorious 60s black toilet seat. It's labelled 'Silavent' which is apparently an extractor fan brand. Is this a ventilated toilet seat to get rid of smells!?