Unfortunately the tool was not there; I have been using that little pouch for CDs and small tool kit but I rechecked it again.

I need to check again under the rear compartment (jack, etc.) but I think the only tool is the 'slotted screwdriver' type thing used for wheel cap removal. You will have to show me that mystery tool on July 4th.