PSU for Velleman K8022

I an thinking of upgrading the Power supply for my K8220. As mentioned I various posts, I will be using a separate 24v supply for the heat bed. As for the rest (main board, stepper motors etc), I will also change the stock psu. There is one slight problem, I cannot find a 15v psu for the main board. Will a 12v psu be enough, Please find below the specs for both psu

RS-100-12
DC Voltage 12V
Rated Current 8.5A
Current Range 0-8.5A
Rated Power 102W

RS-100-24
DC Voltage 24V
Rated Current 7A
Current Range 0-7A
Rated Power 108w

Go for the Meanwell RS-100-15:

RS-100-15
DC Voltage 15V
Rated Current 7A

meanwell.com/mw_search/RS-10 … 0-spec.pdf

I put 16 V from an old IBM laptop. It’s safe to use anything up to 20 V. With 12 V it will take ages for extruder to heat up.