An elliptic regularity coefficient estimate for a problem arising from a frequency domain treatment of waves