Oh, I hadn't noticed that it was a double-decker! But then, I don't spend a lot of time staring at buses, anymore.

As for if they're still red, I have no idea. I've never been. It could be red under whatever all they put on it to make it look like this, though; some kind of cover(s)...