Such a sad loss...lots of happy memories of many laughs on night shifts in the 90s, discussing scooters and music when we were in the same room or on our breaks. RIP Mike...