Note 10 - Product Warranty Obligations 1 (Details Textual)	6 Months Ended
	Jun. 30, 2020
Minimum [Member]
Extended Warranty Term (Year)	5 years
Maximum [Member]
Extended Warranty Term (Year)	10 years