Yes it is the reverse rotation pump. I hadn't thought about drilling it??? I like the idea of saving $100 versus buying a new cover..