Red cucumbers

I bough a packet of these last year https://www.aliexpress.com/item/Sale-2016-50pcs-Rare-Red-Cucumber-Seeds-Green-Vegetable-And-Fruit-Seeds-Bonsai-Plants-Seeds-For/32661195363.html?spm=2114.search0204.3.72.6c1f2c64h4Zawb&ws_ab_test=searchweb0_0,searchweb201602_1_10152_10151_10065_10344_10068_10130_10324_10342_10547_10325_10343_10340_10548_10341_10696_10192_10190_10084_10083_10618_10307_10820_10301_5011411_10821_10303_5723611_10059_100031_5011311_10103_10624_10623_10622_10621_10620,searchweb201603_54,ppcSwitch_2_ppcChannel&algo_expid=e959d3dd-6c63-4c01-b073-c8527123b9a3-10&algo_pvid=e959d3dd-6c63-4c01-b073-c8527123b9a3&transAbTest=ae803_2&priceBeautifyAB=0 but didn't get round to sowing them because I try to keep my greenhouse cool for my Auriculas, so I gave them to a fellow allotment plotholder. He grew so many plants they are now shared amongst many other plotholders who are constantly offering me a cucumber because they have so many.
They grow to around 150mm long x 40-50mm diameter and are not quite as red as the photograph suggests. They have an orange, rather gnarly skin but peel them and the crunchiness and taste is superb.
Has anybody else tried them?