Correct. There are $\displaystyle\frac{{{12}\cdot{11}\cdot{10}\cdot{9}\cdot{8}}}{{{5}\cdot{4}\cdot{3}\cdot{2}\cdot{1}}}={792}\usepackage{cmbright}\Huge\$ five-card hands with all face cards.