Naming a song Paranoid Android (my personal all-time favourite) was pretty obvious, though it is not about Marvin. I do dispute his opening statement - Ok Computer was their best album and one of very few albums that you can just leave on repeat without skipping tracks.