+++It's a must if you're in the area. The 40-minute guided tours take place regularly in several languages from 10 a.m. to 6 p.m., and at 75 kn per adult (approx. 10 EUR) they are not too expensive either.
+++I had almost no waiting time, it's well organized group by group, but separated by language, down