Nice story, didn't know about it. Dual-booting is older than I thought! 1991