Haha, that is so cool Dave! I love it!
Lemmings is one of the truly great games of that era. I find it interesting how it and Prince of Persia are such defining and iconic games for DOS, yet they are actually ports from other systems.
They also both have annoying/complex copyright status and, as far as I’m aware, there is currently no legit way to get a digital copy of the DOS version. Such a pity, in a slightly ironic way.