I would think since it wasn't that much it shouldn't have been enough to do damage unless your friend really hammered on it. Today's cars with their plastic fuel tanks don't really get much junk in their tanks, especially if you use reputable gas stations but it can't hurt to change it as it might be time. Also run a scan to see if there are any codes. Might try an ECU reset but I don't think that's the answer.