You can use the free developer subscription for documentation even if you don't plan to use your 16 RHEL licenses.