Quick question, does anybody know if the sprintex supercharger for the TJ is "compatible" with a snorkel since it uses the stock airbox