https://www.brian-coffee-spot.com/2022/04/30/improving-the-coffee-gator-espresso-machine-part-i/