BUT WHAT IS sink size, REALLY?