How to order EBTKSΒΆ

EBTKS is a hobby project, and as such there is no current sales website. The first batch of EBTKS have all been assigned to the initial pre-orders, and this page provides the information you need to provide to be able to pre-order in the next (and subsequent) batches.

Currently EBTKS sells for $140 + shipping, and includes the SD Card and plastic guide rails. If you want a 3D printed case, you will have to arrange this yourself. The files for 3D printed cases should be available (on the download page) by September 2021.

Please email the following information to and you will be added to the waitlist spreadsheet. When new EBTKS become available you will be notified, and you can confirm your order and provide some additional information.

  • Full name

  • Email address

  • Phone number

  • Country and city

  • Type of Series80 computer(s) you own

  • How many EBTKS you might purchase (not a commitment)

Send your email to and set the subject to EBTKS waitlist
I will send you a confirmation email to let you know you have been added to the waitlist.

All general updates about EBTKS are made in the HPSeries80 forum on this thread: EBTKS Announcement

You may want to join this forum with other Series80 computer enthusiasts. There are many very knowledgeable people in this group and the Signal to Noise ratio is quite high.