Thanks for a very helpful post. I've examined my passport, and I have a stamp with an arrow showing my entry last summer, but none showing my departure 90 days later. I left on a ship out of Barcelona, and I don't recall passing through Spanish customs on boarding.
Hopefully, if they don't have...