Yep, Its the same here lime, if it's mentioned as not working ( therefore excluded from the lease) they have no obligation but if it's not mentioned it's considered to be in working order