gear selector ouput seal leak (996)

I have a small leak on the passenger side of my manual transmission.  It is located where the gear selector output linkage connects to the transmission.  I haven't experienced any drivability issues, just a couple spots on my garage floor.  It looks as if one disconnected the shifter linkage it would just pop out in order to replace the seal.  I do know the previous owner had a short throw shifter kit installed previously, but not sure if that would make a difference.  Thanks in advance.