From my post I meant that it would make sense for the DBCC to come back clean after a reboot as the SQL restart (server crash) would have cleared the hidden previous snapshot which was causing the issue, this is all just suggestion and would keep going with the MS ticket.