I had a version of the tomb raider port ages ago. I remeber it was dog slow on my 030/50 Mhz but it worked.
I think there was 2 versions in the archive. One for 020 and one for 040.
Sorry to say i don't have it anymore. It was lost in the big HD krash of 99' :-D
It was released around the same time as the first illeagal Quake 1 port if remember correct.