RIP La Jolla, we never knew ye.