Ticking sound over 4000rpm, driver's side

Super Tanooki

Ticking sounds just disappeared on its own, but I took it to the dealership anyway because the oil level was low. It turns out they had no record of having ever changed the oil, despite them specifically telling me that they change the oil in every used car they get in before selling it. I had them do an oil consumption test anyway just to make sure.

On another note, I FINALLY got my dealership to acknowledge my "normal" vibrating clutch, and they've agreed to throw in a new throw-out bearing and clutch cover. That, I pray to the stars, should hopefully rid me of the annoying knocking I get from the pedal.