No HDRi shadows in Eevee?

It sounds like there's no way to get shadows from an HDRi in Eevee. Is that the case? I'll need to add a sun lamp for sure?