I hope somebody's still out there!

I haven't looked at Python in years, but I'm hoping to come up with a quick & easy way to remove the first X characters from a file, something like file.truncate but from the beginning of a file.

Does that already exist, or will I need to do it by hand? Thanks!