• Dostal made his professional debut in 2017-18, appearing in 20 games with Trebic in the Czech Republic. He posted a 10-10 record with a 2.43 goals-against average, .921 save percentage and two shutouts.

• He backstopped Brno’s Under-20 club to a league championship in 2017-18, leading all goaltenders with a 1.40 goals-against average and .959 save percentage in the postseason (7 GP).

• Dostal represented the Czech Republic at the 2018 Under-18 World Championship (5 GP) and earned a silver medal for his country at the 2017 Ivan Hlinka Memorial (2.50 GAA, .919 SV%).