7.3 2020 – Diving Deep: The Life and Times of Mike deGruy Jan. 10, 2020 2020 – Diving Deep: The Life and Times of Mike deGruy IMDb: 7.3 2020 83 min Diving Deep: The Life and Times of Mike deGruy / Diving Deep: The Life and Times of Mike deGruy – 2020: Dokumenter