Rig Manager 3.0.100 Release and OS 7.1.19 Release now available