Incorrect David Hall credited for Deal of the Century (1983)

Two actors are credited on the film Deal of the Century (1983): David Hall (I) is credited as "Rick Penido" while Robert David Hall is uncredited as "Ray Penido." Having seen the movie, the character of Rick Penido appears on screen once and is a wheelchair-bound double amputee. Robert David Hall is famously a double amputee (who would later have protheses), and his leg injuries were sustained following a car crash in 1978, five years before the film. Also, the appearance of the actor is near identical to the appearance of the character.

I believe that the incorrect David Hall is credited as Rick Penido; it should be Robert David Hall credited under the name David Hall, and I would like to have this fixed. Here is the link to my failed attempt to submit this correction: https://contribute.imdb.com/contribution/240430-190346-332000/