I replaced it with a freshly reconditioned spare engine I had on the shelf. Those were the days I had 3 or 4 in stock and ready to go at any one time.
Oh and I was really angry when I did that lap and it was not my car at the end of the day. Nothing performs and handles like a hire car