You managed to do this:
create a new file in which copy the part that precedes the inserted new char, then append the char and finally paste the subsequent original second part of the file
with a 12 gb file in under 100 ms?