Correct, the SetpointManager:Warmest satisfies the PRM requirement. It's also how the OpenStudio Standards create the baseline systems 5-8.