HTC Vive Pro vs HTC Vive: should you upgrade to the high-end headset ...