Green drips on drivers side floor mat

And it is driverside, not passenger side

 

It's green if he's running green coolant in it. There are a lot of "works in any vehicle" coolants that are not the OEM color. Green is pretty popular.
AC Pag-Oil is a more muddy dark olive green and any Freon would have dissipated.

Easy to settle the debate though...
1. look in the coolant resivoir / over flow tank. What color is it?
2. turn on the AC. If it cools it's not Pag-Oil. If it doesnt cool, then it's Pag-Oil and his Freon is gone.

 

Just to confirm, what is the color of the coolant in the reservoir on your. My vote is red/pink


Maybe they just did some cleanup after the repair with simple green