I am going to take care of this ASAP, and drive it very careful and as little as possible until that time, it's my DD so there's no avoiding it. Thanks JFP for the information!
This is the final nail in the coffin of taking my Boxter to a mechanic for regular maintenance. It's probably cheaper to buy the tools to do the oil change, and other regular maintenance myself than pay to fix it when the mechanics mess up.