With today's server save, we have made the following change: It was noticed that an update accidentally set the value for the hitpoints of Doctor Marrow's Antennaes far too low. This has been fixed.