Known Vulnerabilities in HDI 4000 Ultrasound Systems