Thunder and Blitzen out of service - 2018-12-07 (resolved)

[John_Marlow]

Per the following Issues & Requests posts, Thunder and Blitzen are both out of service for repairs. Donner is resolved.

Big Thunder (resolved): https://talk.dallasmakerspace.org/t/out-of-service-big-thunder-needs-a-new-lens-12-06-2018/47473

Blitzen: https://talk.dallasmakerspace.org/t/out-of-service-blitzen-extended-space-error-not-powering-laser-12-06-18/47465

Donner (resolved): https://talk.dallasmakerspace.org/t/out-of-service-donner-is-weak-and-poorly-2018-12-07/47479