I got it from RI and the old registration said Carlos on it. I don't think I bought it off Carlos though. It was some other kid and he never even registered it.
In the glove box there was a receipt for a head gasket, so I'm pretty sure someone fixed that. When I get her started she runs fine...