Robopus magnus var. turquino (Mutchler)
Photinus magnus var. turquino Mutchler 1923b: 3 [original combination]
Diphotus magnus var. turquino (Mutchler) [new combination by McDermott 1955: 50]
Robopus magnus var. turquino (Mutchler) [new combination by McDermott 1964: 7]
DISTRIBUTION: CUBA: Santiago de Cuba (Mutchler 1923b; Blackwelder 1945; McDermott 1955, 1966; Blackwelder & Arnett 1974; Peck 2005)
TYPE LOCALITY: Cuba, summit of Pico Turquino
TYPE DEPOSITORY: AMNH
REMARKS: The name was not adopted as a valid name of a species of subspecies or treated as a senior homonym before 1985, it is deemed infrasubspecific and unavailable (Lingafelter & Nearns 2013).