I bought HK6400a from a reputable eBay seller this morning for $876, which includes 20' hoses and shipping charges.
I bought the 20 degree bezel kit for $75 at go2marine.com.
I'll keep you guys posted on this project once these get shipped. Thanks for all of your expertise!